1. A teaching companion to Lemmon's Beginning logic /
پدیدآورنده : George F. Schumm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
2. Beginning logic
پدیدآورنده : Lemmon, E. J. )Edward John(
کتابخانه: Central Library of APLL (Tehran)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L4
1965
3. Beginning logic
پدیدآورنده : Lemmon, E. J.)Edward John(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
1965
4. Beginning logic /
پدیدآورنده : E.J. Lemmon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
5. Beginning logic
پدیدآورنده : Lemmon, Edward John
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
6. Beginning logic
پدیدآورنده : E. J. Lemmon,Title
موضوع : Propositional calculus,Predicate calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Beginning logic
پدیدآورنده : Lemmon, Edward John
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Propositional calculus , Predicate calculus
رده :
QA
9
.
3
.
L45
1987
8. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
9. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
موضوع : ، Predicate calculus,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Completeness, compactness, and undecidability : an introduction to mathematical logic
پدیدآورنده : Manaster, Alfred B
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. Introduction to mathematical logic and its applications
پدیدآورنده : Rosenbaum,Ira
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
رده :
QA
9
.
35
.
R6
12. Logikē :
پدیدآورنده : Dēmētrēs Portidēs, Stathēs Psyllos, Dionysios Anapolitanos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.
13. Modern quantification theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Predicate calculus. ;
14. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
15. #Propositional and predicate calculus
پدیدآورنده : #Derek Goldrei
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Propositional calculus ،Predicate calculus
رده :
#
QA
،#.
G65
،#
2005
16. Propositional and predicate calculus
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;
17. Propositional and predicate calculus: a model of argument
پدیدآورنده : / Derek Goldrei
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc
رده :
511
.
3
G621P
2005
18. Subsystems of second order arithmetic
پدیدآورنده : Simpson, Stephen George, 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus
رده :
QA
9
.
35
.
S55
19. Subsystems of second order arithmetic
پدیدآورنده : Simpson, Stephen George, 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus
رده :
QA
9
.
7
.
S55S8
2009
20. Subsystems of second order arithmetic
پدیدآورنده : / Stephen G. Simpson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Predicate calculus
رده :
E-BOOK
